Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Statistical randomness
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Markov chain
• Determinacy
• Linear temporal logic
• Stochastic game
• Markov decision process

Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Artificial neural networks
• Computational neuroscience
• Applied mathematics
• Neuroscience
• Cybernetics
• Computational statistics
• Market research
• Deep learning
• Heart rate variability
• Emotion recognition
• Recurrent neural network
• Affective computing

Introduction to the cognitive science of religion Helen De Cruz Philosophy Faculty, University of Oxford Graduate course

Source URL: helendecruz.net

Secure Authentication in the Grid: A formal analysis of DNP3: SAv5 Cas Cremers, Martin Dehnel-Wild, Kevin Milner Department of Computer Science, University of Oxford. {cas.cremers,martin.dehnel-wild,kevin.milner}@cs.ox.a

Source URL: www.cs.ox.ac.uk

Comprehending Ringads for Phil Wadler, on the occasion of his 60th birthday Jeremy Gibbons Department of Computer Science, University of Oxford http://www.cs.ox.ac.uk/jeremy.gibbons/

Source URL: www.cs.ox.ac.uk

Entangled State Monads Extended abstract James Cheney, James McKinna, Perdita Stevens Dept. of Computer Science, University of Oxford

Source URL: groups.inf.ed.ac.uk

1 To appear in A. Goldman/B. McLaughlin (eds): Metaphysics and Cognitive Science, Oxford University PressNatural Language and its Ontology

Source URL: friederike-moltmann.com

HEmS – Hydrogen in Metals Grant meeting Dept. of Engineering Science, University of Oxford - 25 September 2014 The HEmS (Hydrogen in Metals) Programme Grant held its inaugural meeting in Oxford, on 25 SeptemberW

Source URL: www.hems.ox.ac.uk

Learning from lions: inferring the utility of agents from their trajectories Adam D. Cobb Department of Engineering Science University of Oxford

Source URL: adamcobb.github.io

A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci

Source URL: www.nicolapaoletti.com